Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
811	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
812	Math 3-8 County Aggregates Add to Reading List Source URL: www.p12.nysed.gov Language: English - Date: 2010-10-05 13:22:37 Propositional calculus Logic Linear algebra Rank Logical conjunction Weighted mean Mathematics Algebra Boolean algebra
813	A First Step Towards a Unified Proof Checker for QBF Toni Jussila1 , Armin Biere1 , Carsten Sinz2 , Daniel Kr¨ oning3 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-01-30 18:21:35 Automated theorem proving Complexity classes Boolean algebra Model theory True quantified Boolean formula Predicate logic Resolution Skolem normal form FO Theoretical computer science Mathematics Mathematical logic
814	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
815	Reconstructing Boolean Models of Signaling Roded Sharan1 and Richard M. Karp2 1 Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel, [removed] Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-01-25 07:47:48 Boolean algebra Algebraic logic Computational complexity theory Mathematical logic Logic Boolean function Artificial neuron Boolean circuit Circuit Mathematics Theoretical computer science Applied mathematics
816	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV
817	The Open University Library Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2010-04-13 06:03:48 Philosophy of mathematics Boolean algebra Geometric algebra Calculus Ring Mathematical analysis Mathematical logic Structure Philosophers of mathematics Algebraic structures Ring theory Mathematics
818	Adding Polynomials of Multiple Variables Adding polynomials of multiple variables is very similar to adding polynomials of a single variable. But, with more than one variable, we have to be careful that both the variable Add to Reading List Source URL: math.about.com Language: English - Date: 2014-03-04 17:35:34 Uncorrelated Wick product Polynomial Covariance and correlation Boolean algebra
819	Lazy Decomposition for Distributed Decision Procedures Youssef Hamadi Joao Marques-Silva Christoph M. Wintersteiger Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-11-25 16:24:02 Mathematical logic Logic in computer science NP-complete problems Boolean algebra Electronic design automation Boolean satisfiability problem Craig interpolation Conjunctive normal form Interpolation Theoretical computer science Mathematics Logic
820	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving

UPDATE